Статья

Название статьи

АСИНХРОННОЕ МОДЕЛИРОВАНИЕ NCES-СЕТЕЙ 

Авторы

Дубинин Виктор Николаевич, кандидат технических наук, доцент, кафедра вычислительной техники, Пензенский государственный университет, vt@alice.pnzgu.ru

Индекс УДК

519.715

Аннотация

Рассматриваются вопросы асинхронного моделирования NCES-сетей с помощью формализма, основанного на сетях Петри. Приводятся правила трансформации NCES-сетей в асинхронную модель. Предложенный метод демонстрируется на примере. Асинхронное моделирование рассматривается как шаг к формальной верификации NCES-сетей с помощью метода Model Checking

Ключевые слова

асинхронное моделирование, сетевые системы «условие – событие», сети Петри, проверка моделей, трансформация моделей

 

 Скачать статью в формате PDF

Список литературы

1. Rausch, M. Net condition/event systems with multiple condition outputs / M. Rausch, H.-M. Hanisch // IEEE Int. Conf. on Emerging Technologies and Factory Automation. – Paris, 1995. – Vol. 1. – P. 592–600.
2. Starke, P. H. Analysing Signal-Net Systems / P. H. Starke, S. Roch. Informatik– Bericht 162. – Berlin : Humboldt-Universitaet zu Berlin. – 2002. – 136 p.
3. ViVe – VisualVerifier Tool Framework http://www.fb61499.com/license.html 
4. Ду бинин, В. Н. Моделирование систем функциональных блоков IEC 61499 с помощью модульных арифметических NCES-сетей / В. Н. Дубинин // Новые информационные технологии и системы : труды VIII Международной научно- технической конференции. – Пенза, 2008. – Ч. 2. – С. 47–64.
5. McMillan, K. L. Symbolic Model Checking / K. L. McMillan. – Kluwer Academic Publishers, 1993.
6. Кларк, Э. Верификация моделей программ: Model Checking / Э. Кларк, О. Грамберг, Д. Пелед. – М. : МЦНМО, 2002. – 416 с.
7. Вашкевич, Н. П. Формализованное описание и верификация дискретных событийных систем с параллельными процессами / Н. П. Вашкевич, В. Н. Дубинин // Вопросы радиоэлектроники. – 2008. – Вып. 5 – С. 51–65. – (ЭВТ).
8. Wimmel, G. A BDD-based Model Checker for the PEP Tool / G. Wimmel // Major Individual Project Report, University of Newcastle. – Newcastle, 1997. – 107 p.
9. Cortes, L. A. Verification Methodology for Heterogeneous Hardware/Software Systems / L. A. Cortes, P. Eles, Z. Peng. – SAVE Project Report, Linköping University. – Linköping, 2000. – 18 p.
10. Varea, M. Symbolic Model Checking of Dual Transition Petri Nets / M. Varea, B. M. Al-Hashimi, L. A. Cortes, P. Eles, Z. Peng // Int. Symposium on Hardware/ Software Codesign (CODES’02). – Colorado : Estes Park, 2002.
11. NuSMV – New Symbolic Model Checker http://nusmv.irst.itc.it 
12. Dubinin, V. Event graph-based approach to interpretation of NCES models / V. Dubinin, H.-M. Hanisch, D. Missal // Новые информационные технологии и системы : труды VII Международной научно-технической конференции. – Пенза, 2006. – Ч. 1. – С. 172–186.
13. Ehrig, H. Fundamentals of Algebraic Graph Transformation / H. Ehrig, K. Ehrig, U. Prange, G. Taentzer. – Springer, 2006. – 373 c.
14. Ду бинин, В. Н. Об одной методике проектирования супервизоров для предотвращения запрещенных состояний в дискретно-событийных системах / В. Н. Дубинин // Современные информационные технологии : труды Международной научно-технической конференции. – Пенза, 2008. – Вып. 8. – С. 143–159.

 

Дата создания: 24.07.2013 10:54
Дата обновления: 24.07.2013 10:54